Hereditarily Odd–Even and combinatorial isols
نویسندگان
چکیده
منابع مشابه
Hereditarily Odd–even and Combinatorial Isols
In this paper we study some of the arithmetic structure that is found in a special kind of semi-ring in the isols. These are the semi-rings [D(Y ),+, ·] that were introduced by J.C.E. Dekker, and that were later shown by E. Ellentuck to model the true universal recursive statements of arithmetic when Y is a regressive isol and is hyper-torre (= hereditarily odd-even = HOE). When Y is regressive...
متن کاملNonrecursive Relations among the Isols
The universal isol metatheorem is extended so as to deal with nonrecursive relations and countable Boolean operations.
متن کاملRecursive Fibers of Rst Isols
Motivated by a conjecture of Ellentuck concerning fibers f^x(C), f recursive and C an element of one of Barback's "tame models" (Tame models in the isols, Houston J. Math. 12 (1986), 163-175), we study such fibers in the more general context of Nerode semirings. The principal results are that (1) all existentially complete Nerode semirings meet all of their recursive fibers, and (2) not all Ner...
متن کاملHereditarily Optimal Realizations
Acknowledgments Obviously, though by no means trivially, many thanks are due to my advisor Professor Vincent Moulton, for introducing me to this fascinating subject, providing inspiration and helping me get started. Many thanks also to my colleague and co-author Dr. Katharina Huber for her patience during the many hours we spent going over the proofs in this paper. I am also most grateful to my...
متن کاملDynamical System and Semi-Hereditarily Hypercyclic Property
In this paper we give conditions for a tuple of commutative bounded linear operators which holds in the property of the Hypercyclicity Criterion. We characterize topological transitivity and semi-hereiditarily of a dynamical system given by an n-tuple of operators acting on a separable infinite dimensional Banach space .
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Pacific Journal of Mathematics
سال: 2002
ISSN: 0030-8730
DOI: 10.2140/pjm.2002.206.9